node(1).
node(2).
node(3).
node(4).
node(5).
node(6).
node(7).
node(8).
node(9).
node(10).
node(11).
node(12).
node(13).
node(14).
node(15).
node(16).
node(17).
node(18).
node(19).
node(20).
node(21).
node(22).
node(23).
node(24).
node(25).
node(26).
node(27).
node(28).
node(29).
node(30).
node(31).
node(32).
node(33).
node(34).
node(35).
node(36).
node(37).
node(38).
node(39).
node(40).
node(41).
node(42).
node(43).
node(44).
node(45).
node(46).
node(47).
node(48).
node(49).
node(50).
node(51).
node(52).
node(53).
node(54).
node(55).
node(56).
node(57).
node(58).
node(59).
node(60).
node(61).
node(62).
node(63).
node(64).
node(65).
node(66).
node(67).
node(68).
node(69).
node(70).
node(71).
node(72).
node(73).
node(74).
node(75).
node(76).
node(77).
node(78).
node(79).
node(80).
node(81).
node(82).
node(83).
node(84).
node(85).
node(86).
node(87).
node(88).
node(89).
node(90).
node(91).
node(92).
node(93).
node(94).
node(95).
node(96).
node(97).
node(98).
node(99).
node(100).
node(101).
node(102).
node(103).
node(104).
node(105).
node(106).
node(107).
node(108).
node(109).
node(110).
node(111).
node(112).
node(113).
node(114).
node(115).
node(116).
node(117).
node(118).
node(119).
node(120).
node(121).
node(122).
node(123).
node(124).
node(125).
node(126).
node(127).
node(128).
node(129).
node(130).
node(131).
node(132).
node(133).
node(134).
node(135).
node(136).
node(137).
node(138).
node(139).
node(140).
link(1,8) :- #0.902.
link(8,1) :- #0.042.
link(1,10) :- #0.919.
link(10,1) :- #0.339.
link(1,23) :- #0.666.
link(23,1) :- #0.372.
link(1,32) :- #0.654.
link(32,1) :- #0.321.
link(1,36) :- #0.417.
link(36,1) :- #0.223.
link(1,46) :- #0.235.
link(46,1) :- #0.63.
link(1,51) :- #0.206.
link(51,1) :- #0.707.
link(1,55) :- #0.344.
link(55,1) :- #0.453.
link(1,58) :- #0.155.
link(58,1) :- #0.289.
link(1,73) :- #0.276.
link(73,1) :- #0.177.
link(1,83) :- #0.202.
link(83,1) :- #0.729.
link(1,100) :- #0.299.
link(100,1) :- #0.572.
link(1,113) :- #0.123.
link(113,1) :- #0.395.
link(1,124) :- #0.077.
link(124,1) :- #0.761.
link(2,7) :- #0.04.
link(7,2) :- #0.61.
link(2,9) :- #0.342.
link(9,2) :- #0.795.
link(2,15) :- #0.747.
link(15,2) :- #0.484.
link(2,34) :- #0.514.
link(34,2) :- #0.922.
link(2,64) :- #0.431.
link(64,2) :- #0.991.
link(2,69) :- #0.228.
link(69,2) :- #0.322.
link(2,93) :- #0.365.
link(93,2) :- #0.432.
link(2,101) :- #0.197.
link(101,2) :- #0.064.
link(2,108) :- #0.853.
link(108,2) :- #0.591.
link(2,125) :- #0.623.
link(125,2) :- #0.742.
link(2,133) :- #0.31.
link(133,2) :- #0.798.
link(2,137) :- #0.576.
link(137,2) :- #0.228.
link(3,4) :- #0.645.
link(4,3) :- #0.105.
link(3,12) :- #0.707.
link(12,3) :- #0.577.
link(3,35) :- #0.686.
link(35,3) :- #0.14.
link(3,56) :- #0.032.
link(56,3) :- #0.474.
link(3,63) :- #0.996.
link(63,3) :- #0.138.
link(3,67) :- #0.84.
link(67,3) :- #0.1.
link(3,69) :- #0.94.
link(69,3) :- #0.613.
link(3,75) :- #0.394.
link(75,3) :- #0.535.
link(3,90) :- #0.164.
link(90,3) :- #0.138.
link(3,97) :- #0.633.
link(97,3) :- #0.329.
link(3,129) :- #0.756.
link(129,3) :- #0.559.
link(4,24) :- #0.619.
link(24,4) :- #0.63.
link(4,34) :- #0.246.
link(34,4) :- #0.373.
link(4,42) :- #0.733.
link(42,4) :- #0.992.
link(4,56) :- #0.649.
link(56,4) :- #0.106.
link(4,57) :- #0.347.
link(57,4) :- #0.131.
link(4,64) :- #0.766.
link(64,4) :- #0.771.
link(4,68) :- #0.841.
link(68,4) :- #0.131.
link(4,69) :- #0.856.
link(69,4) :- #0.372.
link(4,81) :- #0.652.
link(81,4) :- #0.037.
link(4,92) :- #0.129.
link(92,4) :- #0.05.
link(4,100) :- #0.771.
link(100,4) :- #0.029.
link(4,110) :- #0.774.
link(110,4) :- #0.736.
link(5,8) :- #0.615.
link(8,5) :- #0.099.
link(5,22) :- #0.741.
link(22,5) :- #0.953.
link(5,24) :- #0.867.
link(24,5) :- #0.044.
link(5,33) :- #0.256.
link(33,5) :- #0.756.
link(5,78) :- #0.242.
link(78,5) :- #0.751.
link(5,80) :- #0.207.
link(80,5) :- #0.538.
link(5,86) :- #0.723.
link(86,5) :- #0.007.
link(5,96) :- #0.517.
link(96,5) :- #0.781.
link(5,97) :- #0.876.
link(97,5) :- #0.965.
link(5,102) :- #0.563.
link(102,5) :- #0.432.
link(5,129) :- #0.93.
link(129,5) :- #0.843.
link(5,137) :- #0.276.
link(137,5) :- #0.955.
link(6,10) :- #0.479.
link(10,6) :- #0.508.
link(6,11) :- #0.946.
link(11,6) :- #0.653.
link(6,18) :- #0.556.
link(18,6) :- #0.153.
link(6,28) :- #0.038.
link(28,6) :- #0.339.
link(6,48) :- #0.063.
link(48,6) :- #0.11.
link(6,49) :- #0.427.
link(49,6) :- #0.146.
link(6,62) :- #0.146.
link(62,6) :- #0.611.
link(6,82) :- #0.077.
link(82,6) :- #0.123.
link(6,92) :- #0.124.
link(92,6) :- #0.494.
link(6,105) :- #0.037.
link(105,6) :- #0.409.
link(6,112) :- #0.294.
link(112,6) :- #0.15.
link(6,118) :- #0.781.
link(118,6) :- #0.448.
link(6,123) :- #0.129.
link(123,6) :- #0.265.
link(6,128) :- #0.12.
link(128,6) :- #0.689.
link(6,134) :- #0.269.
link(134,6) :- #0.082.
link(7,14) :- #0.502.
link(14,7) :- #0.203.
link(7,31) :- #0.999.
link(31,7) :- #0.212.
link(7,39) :- #0.263.
link(39,7) :- #0.063.
link(7,40) :- #0.75.
link(40,7) :- #0.476.
link(7,56) :- #0.954.
link(56,7) :- #0.242.
link(7,64) :- #0.034.
link(64,7) :- #0.657.
link(7,92) :- #0.985.
link(92,7) :- #0.325.
link(7,100) :- #0.442.
link(100,7) :- #0.395.
link(7,105) :- #0.493.
link(105,7) :- #0.9.
link(7,112) :- #0.936.
link(112,7) :- #0.108.
link(7,113) :- #0.294.
link(113,7) :- #0.037.
link(7,129) :- #0.256.
link(129,7) :- #0.777.
link(8,18) :- #0.341.
link(18,8) :- #0.306.
link(8,21) :- #0.411.
link(21,8) :- #0.617.
link(8,27) :- #0.949.
link(27,8) :- #0.275.
link(8,33) :- #0.758.
link(33,8) :- #0.106.
link(8,38) :- #0.904.
link(38,8) :- #0.012.
link(8,91) :- #0.334.
link(91,8) :- #0.929.
link(8,98) :- #0.018.
link(98,8) :- #0.562.
link(8,101) :- #0.804.
link(101,8) :- #0.302.
link(8,111) :- #0.877.
link(111,8) :- #0.621.
link(8,114) :- #0.61.
link(114,8) :- #0.723.
link(8,116) :- #0.867.
link(116,8) :- #0.254.
link(8,121) :- #0.638.
link(121,8) :- #0.604.
link(8,124) :- #0.75.
link(124,8) :- #0.669.
link(8,131) :- #0.681.
link(131,8) :- #0.979.
link(8,137) :- #0.265.
link(137,8) :- #0.156.
link(9,11) :- #0.227.
link(11,9) :- #0.649.
link(9,14) :- #0.649.
link(14,9) :- #0.788.
link(9,15) :- #0.087.
link(15,9) :- #0.789.
link(9,25) :- #0.66.
link(25,9) :- #0.471.
link(9,26) :- #0.294.
link(26,9) :- #0.306.
link(9,32) :- #0.202.
link(32,9) :- #0.256.
link(9,33) :- #0.613.
link(33,9) :- #0.733.
link(9,46) :- #0.043.
link(46,9) :- #0.271.
link(9,50) :- #0.324.
link(50,9) :- #0.317.
link(9,59) :- #0.264.
link(59,9) :- #0.415.
link(9,70) :- #0.34.
link(70,9) :- #0.271.
link(9,78) :- #0.99.
link(78,9) :- #0.569.
link(9,98) :- #0.8.
link(98,9) :- #0.257.
link(9,109) :- #0.867.
link(109,9) :- #0.059.
link(9,110) :- #0.339.
link(110,9) :- #0.488.
link(9,114) :- #0.653.
link(114,9) :- #0.706.
link(9,121) :- #0.072.
link(121,9) :- #0.824.
link(9,133) :- #0.751.
link(133,9) :- #0.842.
link(9,139) :- #0.849.
link(139,9) :- #0.901.
link(9,140) :- #0.463.
link(140,9) :- #0.231.
link(10,17) :- #0.541.
link(17,10) :- #0.026.
link(10,41) :- #0.163.
link(41,10) :- #0.924.
link(10,56) :- #0.522.
link(56,10) :- #0.998.
link(10,72) :- #0.285.
link(72,10) :- #0.647.
link(10,78) :- #0.313.
link(78,10) :- #0.403.
link(10,84) :- #0.417.
link(84,10) :- #0.612.
link(10,94) :- #0.724.
link(94,10) :- #0.619.
link(10,107) :- #0.589.
link(107,10) :- #0.421.
link(10,108) :- #0.056.
link(108,10) :- #0.004.
link(10,113) :- #0.838.
link(113,10) :- #0.452.
link(10,121) :- #0.94.
link(121,10) :- #0.285.
link(11,15) :- #0.97.
link(15,11) :- #0.415.
link(11,32) :- #0.576.
link(32,11) :- #0.508.
link(11,36) :- #0.353.
link(36,11) :- #0.342.
link(11,38) :- #0.033.
link(38,11) :- #0.123.
link(11,41) :- #0.002.
link(41,11) :- #0.482.
link(11,42) :- #0.55.
link(42,11) :- #0.504.
link(11,45) :- #0.929.
link(45,11) :- #0.523.
link(11,46) :- #0.519.
link(46,11) :- #0.063.
link(11,50) :- #0.992.
link(50,11) :- #0.285.
link(11,61) :- #0.904.
link(61,11) :- #0.665.
link(11,68) :- #0.489.
link(68,11) :- #0.914.
link(11,80) :- #0.99.
link(80,11) :- #0.593.
link(11,83) :- #0.658.
link(83,11) :- #0.568.
link(11,109) :- #0.588.
link(109,11) :- #0.288.
link(11,113) :- #0.72.
link(113,11) :- #0.192.
link(11,137) :- #0.558.
link(137,11) :- #0.47.
link(12,19) :- #0.134.
link(19,12) :- #0.958.
link(12,23) :- #0.86.
link(23,12) :- #0.389.
link(12,37) :- #0.4.
link(37,12) :- #0.133.
link(12,40) :- #0.49.
link(40,12) :- #0.416.
link(12,53) :- #0.022.
link(53,12) :- #0.125.
link(12,71) :- #0.749.
link(71,12) :- #0.388.
link(12,86) :- #0.493.
link(86,12) :- #0.223.
link(12,102) :- #0.237.
link(102,12) :- #0.052.
link(12,115) :- #0.354.
link(115,12) :- #0.547.
link(12,117) :- #0.078.
link(117,12) :- #0.193.
link(12,118) :- #0.266.
link(118,12) :- #0.278.
link(12,124) :- #0.676.
link(124,12) :- #0.974.
link(12,129) :- #0.466.
link(129,12) :- #0.406.
link(12,140) :- #0.247.
link(140,12) :- #0.364.
link(13,15) :- #0.124.
link(15,13) :- #0.809.
link(13,18) :- #0.737.
link(18,13) :- #0.183.
link(13,42) :- #0.777.
link(42,13) :- #0.171.
link(13,46) :- #0.031.
link(46,13) :- #0.938.
link(13,47) :- #0.68.
link(47,13) :- #0.193.
link(13,50) :- #0.505.
link(50,13) :- #0.804.
link(13,56) :- #0.369.
link(56,13) :- #0.225.
link(13,67) :- #0.8.
link(67,13) :- #0.369.
link(13,69) :- #0.828.
link(69,13) :- #0.266.
link(13,70) :- #0.555.
link(70,13) :- #0.365.
link(13,75) :- #0.096.
link(75,13) :- #0.498.
link(13,79) :- #0.878.
link(79,13) :- #0.028.
link(13,80) :- #0.217.
link(80,13) :- #0.836.
link(13,88) :- #0.517.
link(88,13) :- #0.721.
link(13,95) :- #0.665.
link(95,13) :- #0.443.
link(13,110) :- #0.266.
link(110,13) :- #0.656.
link(13,117) :- #0.597.
link(117,13) :- #0.728.
link(13,123) :- #0.84.
link(123,13) :- #0.108.
link(13,127) :- #0.757.
link(127,13) :- #0.845.
link(13,135) :- #0.574.
link(135,13) :- #0.19.
link(13,138) :- #0.944.
link(138,13) :- #0.439.
link(14,18) :- #0.268.
link(18,14) :- #0.68.
link(14,29) :- #0.817.
link(29,14) :- #0.892.
link(14,30) :- #0.807.
link(30,14) :- #0.399.
link(14,34) :- #0.145.
link(34,14) :- #0.127.
link(14,41) :- #0.847.
link(41,14) :- #0.317.
link(14,42) :- #0.537.
link(42,14) :- #0.669.
link(14,48) :- #0.6.
link(48,14) :- #0.872.
link(14,52) :- #0.306.
link(52,14) :- #0.7.
link(14,53) :- #0.127.
link(53,14) :- #0.488.
link(14,64) :- #0.466.
link(64,14) :- #0.714.
link(14,75) :- #0.603.
link(75,14) :- #0.965.
link(14,116) :- #0.394.
link(116,14) :- #0.002.
link(14,122) :- #0.822.
link(122,14) :- #0.387.
link(14,124) :- #0.378.
link(124,14) :- #0.571.
link(14,125) :- #0.981.
link(125,14) :- #0.484.
link(14,129) :- #0.043.
link(129,14) :- #0.652.
link(14,132) :- #0.398.
link(132,14) :- #0.648.
link(14,136) :- #0.232.
link(136,14) :- #0.351.
link(14,138) :- #0.4.
link(138,14) :- #0.01.
link(15,17) :- #0.811.
link(17,15) :- #0.919.
link(15,18) :- #0.911.
link(18,15) :- #0.446.
link(15,19) :- #0.597.
link(19,15) :- #0.125.
link(15,22) :- #0.481.
link(22,15) :- #0.004.
link(15,25) :- #0.087.
link(25,15) :- #0.137.
link(15,39) :- #0.98.
link(39,15) :- #0.919.
link(15,43) :- #0.413.
link(43,15) :- #0.632.
link(15,44) :- #0.383.
link(44,15) :- #0.028.
link(15,55) :- #0.152.
link(55,15) :- #0.532.
link(15,82) :- #0.929.
link(82,15) :- #0.437.
link(15,87) :- #0.819.
link(87,15) :- #0.166.
link(15,111) :- #0.114.
link(111,15) :- #0.694.
link(15,130) :- #0.594.
link(130,15) :- #0.031.
link(15,132) :- #0.009.
link(132,15) :- #0.405.
link(15,134) :- #0.569.
link(134,15) :- #0.71.
link(16,23) :- #0.175.
link(23,16) :- #0.236.
link(16,25) :- #0.4.
link(25,16) :- #0.57.
link(16,27) :- #0.062.
link(27,16) :- #0.976.
link(16,31) :- #0.268.
link(31,16) :- #0.357.
link(16,41) :- #0.372.
link(41,16) :- #0.93.
link(16,49) :- #0.558.
link(49,16) :- #0.632.
link(16,62) :- #0.2.
link(62,16) :- #0.234.
link(16,73) :- #0.226.
link(73,16) :- #0.792.
link(16,87) :- #0.959.
link(87,16) :- #0.92.
link(16,104) :- #0.957.
link(104,16) :- #0.301.
link(16,105) :- #0.83.
link(105,16) :- #0.186.
link(16,108) :- #0.263.
link(108,16) :- #0.153.
link(16,113) :- #0.814.
link(113,16) :- #0.414.
link(16,123) :- #0.657.
link(123,16) :- #0.883.
link(16,124) :- #0.841.
link(124,16) :- #0.151.
link(17,21) :- #0.194.
link(21,17) :- #0.912.
link(17,37) :- #0.001.
link(37,17) :- #0.623.
link(17,71) :- #0.394.
link(71,17) :- #0.235.
link(17,74) :- #0.915.
link(74,17) :- #0.942.
link(17,86) :- #0.037.
link(86,17) :- #0.49.
link(17,97) :- #0.903.
link(97,17) :- #0.245.
link(17,100) :- #0.288.
link(100,17) :- #0.32.
link(17,108) :- #0.647.
link(108,17) :- #0.591.
link(17,117) :- #0.231.
link(117,17) :- #0.203.
link(17,126) :- #0.093.
link(126,17) :- #0.804.
link(17,131) :- #0.299.
link(131,17) :- #0.113.
link(18,36) :- #0.659.
link(36,18) :- #0.216.
link(18,49) :- #0.246.
link(49,18) :- #0.817.
link(18,51) :- #0.245.
link(51,18) :- #0.632.
link(18,66) :- #0.933.
link(66,18) :- #0.932.
link(18,77) :- #0.93.
link(77,18) :- #0.037.
link(18,105) :- #0.046.
link(105,18) :- #0.386.
link(19,33) :- #0.686.
link(33,19) :- #0.845.
link(19,36) :- #0.032.
link(36,19) :- #0.475.
link(19,38) :- #0.335.
link(38,19) :- #0.477.
link(19,42) :- #0.772.
link(42,19) :- #0.302.
link(19,43) :- #0.625.
link(43,19) :- #0.228.
link(19,55) :- #0.312.
link(55,19) :- #0.307.
link(19,61) :- #0.799.
link(61,19) :- #0.748.
link(19,68) :- #0.876.
link(68,19) :- #0.473.
link(19,83) :- #0.734.
link(83,19) :- #0.535.
link(19,89) :- #0.432.
link(89,19) :- #0.324.
link(19,91) :- #0.505.
link(91,19) :- #0.315.
link(19,126) :- #0.699.
link(126,19) :- #0.322.
link(19,136) :- #0.472.
link(136,19) :- #0.363.
link(20,21) :- #0.982.
link(21,20) :- #0.766.
link(20,55) :- #0.332.
link(55,20) :- #0.151.
link(20,58) :- #0.128.
link(58,20) :- #0.879.
link(20,102) :- #0.511.
link(102,20) :- #0.414.
link(20,116) :- #0.79.
link(116,20) :- #0.685.
link(20,117) :- #0.066.
link(117,20) :- #0.756.
link(20,131) :- #0.555.
link(131,20) :- #0.569.
link(21,40) :- #0.659.
link(40,21) :- #0.653.
link(21,48) :- #0.302.
link(48,21) :- #0.361.
link(21,50) :- #0.945.
link(50,21) :- #0.493.
link(21,53) :- #0.821.
link(53,21) :- #0.429.
link(21,74) :- #0.929.
link(74,21) :- #0.601.
link(21,87) :- #0.617.
link(87,21) :- #0.091.
link(21,92) :- #0.803.
link(92,21) :- #0.937.
link(21,95) :- #0.205.
link(95,21) :- #0.395.
link(21,100) :- #0.783.
link(100,21) :- #0.765.
link(21,107) :- #0.966.
link(107,21) :- #0.91.
link(21,110) :- #0.401.
link(110,21) :- #0.534.
link(21,115) :- #0.826.
link(115,21) :- #0.99.
link(22,24) :- #0.124.
link(24,22) :- #0.987.
link(22,36) :- #0.026.
link(36,22) :- #0.276.
link(22,48) :- #0.533.
link(48,22) :- #0.101.
link(22,51) :- #0.986.
link(51,22) :- #0.213.
link(22,57) :- #0.311.
link(57,22) :- #0.325.
link(22,73) :- #0.496.
link(73,22) :- #0.489.
link(22,74) :- #0.171.
link(74,22) :- #0.376.
link(22,84) :- #0.118.
link(84,22) :- #0.678.
link(22,90) :- #0.329.
link(90,22) :- #0.922.
link(22,103) :- #0.772.
link(103,22) :- #0.618.
link(22,117) :- #0.175.
link(117,22) :- #0.081.
link(22,124) :- #0.965.
link(124,22) :- #0.078.
link(22,129) :- #0.247.
link(129,22) :- #0.223.
link(22,138) :- #0.402.
link(138,22) :- #0.021.
link(23,41) :- #0.112.
link(41,23) :- #0.734.
link(23,48) :- #0.567.
link(48,23) :- #0.89.
link(23,50) :- #0.3.
link(50,23) :- #0.774.
link(23,57) :- #0.249.
link(57,23) :- #0.111.
link(23,77) :- #0.325.
link(77,23) :- #0.748.
link(23,104) :- #0.428.
link(104,23) :- #0.78.
link(23,112) :- #0.199.
link(112,23) :- #0.838.
link(23,115) :- #0.907.
link(115,23) :- #0.889.
link(23,128) :- #0.65.
link(128,23) :- #0.21.
link(24,36) :- #0.964.
link(36,24) :- #0.612.
link(24,44) :- #0.822.
link(44,24) :- #0.99.
link(24,71) :- #0.002.
link(71,24) :- #0.905.
link(24,85) :- #0.174.
link(85,24) :- #0.07.
link(24,90) :- #0.96.
link(90,24) :- #0.048.
link(24,119) :- #0.013.
link(119,24) :- #0.904.
link(24,120) :- #0.44.
link(120,24) :- #0.725.
link(24,131) :- #0.944.
link(131,24) :- #0.397.
link(25,31) :- #0.305.
link(31,25) :- #0.735.
link(25,40) :- #0.06.
link(40,25) :- #0.539.
link(25,50) :- #0.545.
link(50,25) :- #0.696.
link(25,62) :- #0.844.
link(62,25) :- #0.772.
link(25,77) :- #0.726.
link(77,25) :- #0.726.
link(25,87) :- #0.346.
link(87,25) :- #0.057.
link(25,90) :- #0.296.
link(90,25) :- #0.783.
link(25,114) :- #0.73.
link(114,25) :- #0.87.
link(26,28) :- #0.547.
link(28,26) :- #0.354.
link(26,30) :- #0.772.
link(30,26) :- #0.859.
link(26,48) :- #0.541.
link(48,26) :- #0.504.
link(26,60) :- #0.474.
link(60,26) :- #0.744.
link(26,73) :- #0.833.
link(73,26) :- #0.996.
link(26,78) :- #0.839.
link(78,26) :- #0.287.
link(26,87) :- #0.162.
link(87,26) :- #0.57.
link(26,110) :- #0.8.
link(110,26) :- #0.389.
link(27,50) :- #0.34.
link(50,27) :- #0.268.
link(27,55) :- #0.66.
link(55,27) :- #0.7.
link(27,63) :- #0.647.
link(63,27) :- #0.623.
link(27,68) :- #0.646.
link(68,27) :- #0.674.
link(27,70) :- #0.865.
link(70,27) :- #0.021.
link(27,72) :- #0.776.
link(72,27) :- #0.82.
link(27,73) :- #0.417.
link(73,27) :- #0.623.
link(27,79) :- #0.328.
link(79,27) :- #0.87.
link(27,91) :- #0.465.
link(91,27) :- #0.148.
link(27,130) :- #0.373.
link(130,27) :- #0.481.
link(27,139) :- #0.57.
link(139,27) :- #0.777.
link(28,67) :- #0.972.
link(67,28) :- #0.567.
link(28,85) :- #0.971.
link(85,28) :- #0.582.
link(28,87) :- #0.372.
link(87,28) :- #0.169.
link(28,96) :- #0.396.
link(96,28) :- #0.617.
link(28,106) :- #0.493.
link(106,28) :- #0.955.
link(28,109) :- #0.968.
link(109,28) :- #0.115.
link(28,123) :- #0.935.
link(123,28) :- #0.035.
link(29,37) :- #0.141.
link(37,29) :- #0.769.
link(29,39) :- #0.937.
link(39,29) :- #0.124.
link(29,51) :- #0.105.
link(51,29) :- #0.574.
link(29,60) :- #0.095.
link(60,29) :- #0.368.
link(29,62) :- #0.03.
link(62,29) :- #0.188.
link(29,76) :- #0.118.
link(76,29) :- #0.23.
link(29,78) :- #0.23.
link(78,29) :- #0.68.
link(29,80) :- #0.615.
link(80,29) :- #0.895.
link(29,90) :- #0.446.
link(90,29) :- #0.158.
link(29,95) :- #0.318.
link(95,29) :- #0.137.
link(29,109) :- #0.297.
link(109,29) :- #0.449.
link(29,114) :- #0.654.
link(114,29) :- #0.637.
link(29,123) :- #0.552.
link(123,29) :- #0.157.
link(29,130) :- #0.269.
link(130,29) :- #0.418.
link(29,135) :- #0.461.
link(135,29) :- #0.274.
link(30,33) :- #0.513.
link(33,30) :- #0.469.
link(30,36) :- #0.33.
link(36,30) :- #0.748.
link(30,39) :- #0.766.
link(39,30) :- #0.373.
link(30,52) :- #0.053.
link(52,30) :- #0.963.
link(30,54) :- #0.556.
link(54,30) :- #0.988.
link(30,58) :- #0.184.
link(58,30) :- #0.046.
link(30,81) :- #0.028.
link(81,30) :- #0.119.
link(30,83) :- #0.355.
link(83,30) :- #0.855.
link(30,100) :- #0.37.
link(100,30) :- #0.757.
link(30,112) :- #0.812.
link(112,30) :- #0.922.
link(30,119) :- #0.381.
link(119,30) :- #0.613.
link(30,131) :- #0.262.
link(131,30) :- #0.809.
link(30,133) :- #0.374.
link(133,30) :- #0.515.
link(30,138) :- #0.981.
link(138,30) :- #0.054.
link(30,140) :- #0.894.
link(140,30) :- #0.899.
link(31,37) :- #0.891.
link(37,31) :- #0.289.
link(31,47) :- #0.39.
link(47,31) :- #0.474.
link(31,49) :- #0.226.
link(49,31) :- #0.116.
link(31,63) :- #0.375.
link(63,31) :- #0.812.
link(31,70) :- #0.206.
link(70,31) :- #0.998.
link(31,99) :- #0.117.
link(99,31) :- #0.389.
link(31,108) :- #0.27.
link(108,31) :- #0.904.
link(31,112) :- #0.527.
link(112,31) :- #0.799.
link(31,113) :- #0.526.
link(113,31) :- #0.504.
link(31,115) :- #0.078.
link(115,31) :- #0.719.
link(31,116) :- #0.113.
link(116,31) :- #0.951.
link(31,118) :- #0.126.
link(118,31) :- #0.545.
link(31,132) :- #0.556.
link(132,31) :- #0.088.
link(32,38) :- #0.356.
link(38,32) :- #0.789.
link(32,59) :- #0.343.
link(59,32) :- #0.22.
link(32,61) :- #0.779.
link(61,32) :- #0.592.
link(32,88) :- #0.265.
link(88,32) :- #0.62.
link(32,107) :- #0.368.
link(107,32) :- #0.559.
link(32,120) :- #0.203.
link(120,32) :- #0.83.
link(32,125) :- #0.239.
link(125,32) :- #0.205.
link(33,42) :- #0.448.
link(42,33) :- #0.586.
link(33,43) :- #0.986.
link(43,33) :- #0.296.
link(33,52) :- #0.343.
link(52,33) :- #0.337.
link(33,56) :- #0.226.
link(56,33) :- #0.337.
link(33,59) :- #0.344.
link(59,33) :- #0.539.
link(33,61) :- #0.562.
link(61,33) :- #0.161.
link(33,63) :- #0.997.
link(63,33) :- #0.012.
link(33,79) :- #0.424.
link(79,33) :- #0.624.
link(33,88) :- #0.017.
link(88,33) :- #0.15.
link(33,89) :- #0.785.
link(89,33) :- #0.492.
link(33,99) :- #0.509.
link(99,33) :- #0.72.
link(33,140) :- #0.664.
link(140,33) :- #0.057.
link(34,52) :- #0.513.
link(52,34) :- #0.709.
link(34,57) :- #0.854.
link(57,34) :- #0.358.
link(34,74) :- #0.783.
link(74,34) :- #0.466.
link(34,105) :- #0.275.
link(105,34) :- #0.075.
link(34,108) :- #0.997.
link(108,34) :- #0.418.
link(34,132) :- #0.151.
link(132,34) :- #0.765.
link(35,45) :- #0.215.
link(45,35) :- #0.388.
link(35,54) :- #0.265.
link(54,35) :- #0.612.
link(35,64) :- #0.166.
link(64,35) :- #0.046.
link(35,77) :- #0.444.
link(77,35) :- #0.764.
link(35,83) :- #0.116.
link(83,35) :- #0.033.
link(35,107) :- #0.292.
link(107,35) :- #0.831.
link(35,112) :- #0.248.
link(112,35) :- #0.57.
link(35,140) :- #0.67.
link(140,35) :- #0.581.
link(36,37) :- #0.469.
link(37,36) :- #0.004.
link(36,38) :- #0.352.
link(38,36) :- #0.059.
link(36,47) :- #0.796.
link(47,36) :- #0.224.
link(36,50) :- #0.529.
link(50,36) :- #0.823.
link(36,54) :- #0.072.
link(54,36) :- #0.68.
link(36,69) :- #0.724.
link(69,36) :- #0.744.
link(36,70) :- #0.322.
link(70,36) :- #0.973.
link(36,84) :- #0.405.
link(84,36) :- #0.725.
link(36,86) :- #0.812.
link(86,36) :- #0.555.
link(36,91) :- #0.014.
link(91,36) :- #0.107.
link(36,94) :- #0.516.
link(94,36) :- #0.819.
link(36,95) :- #0.679.
link(95,36) :- #0.432.
link(36,101) :- #0.823.
link(101,36) :- #0.885.
link(36,128) :- #0.052.
link(128,36) :- #0.504.
link(36,134) :- #0.444.
link(134,36) :- #0.492.
link(36,138) :- #0.051.
link(138,36) :- #0.264.
link(37,66) :- #0.769.
link(66,37) :- #0.764.
link(37,95) :- #0.992.
link(95,37) :- #0.435.
link(37,99) :- #0.645.
link(99,37) :- #0.011.
link(37,119) :- #0.372.
link(119,37) :- #0.998.
link(37,123) :- #0.338.
link(123,37) :- #0.435.
link(37,131) :- #0.22.
link(131,37) :- #0.551.
link(38,40) :- #0.502.
link(40,38) :- #0.339.
link(38,45) :- #0.354.
link(45,38) :- #0.237.
link(38,69) :- #0.31.
link(69,38) :- #0.656.
link(38,78) :- #0.57.
link(78,38) :- #0.983.
link(38,87) :- #0.579.
link(87,38) :- #0.84.
link(38,103) :- #0.705.
link(103,38) :- #0.068.
link(38,113) :- #0.255.
link(113,38) :- #0.172.
link(38,124) :- #0.917.
link(124,38) :- #0.811.
link(38,140) :- #0.925.
link(140,38) :- #0.535.
link(39,40) :- #0.435.
link(40,39) :- #0.32.
link(39,51) :- #0.963.
link(51,39) :- #0.931.
link(39,58) :- #0.41.
link(58,39) :- #0.501.
link(39,93) :- #0.445.
link(93,39) :- #0.221.
link(39,104) :- #0.554.
link(104,39) :- #0.912.
link(39,111) :- #0.234.
link(111,39) :- #0.474.
link(39,128) :- #0.519.
link(128,39) :- #0.709.
link(39,138) :- #0.555.
link(138,39) :- #0.347.
link(40,41) :- #0.913.
link(41,40) :- #0.982.
link(40,46) :- #0.533.
link(46,40) :- #0.066.
link(40,52) :- #0.548.
link(52,40) :- #0.939.
link(40,90) :- #0.283.
link(90,40) :- #0.195.
link(40,98) :- #0.7.
link(98,40) :- #0.687.
link(40,105) :- #0.323.
link(105,40) :- #0.512.
link(40,115) :- #0.503.
link(115,40) :- #0.138.
link(40,116) :- #0.876.
link(116,40) :- #0.285.
link(40,122) :- #0.977.
link(122,40) :- #0.875.
link(40,130) :- #0.585.
link(130,40) :- #0.288.
link(40,134) :- #0.998.
link(134,40) :- #0.492.
link(40,140) :- #0.732.
link(140,40) :- #0.143.
link(41,52) :- #0.691.
link(52,41) :- #0.054.
link(41,65) :- #0.168.
link(65,41) :- #0.55.
link(41,66) :- #0.42.
link(66,41) :- #0.341.
link(41,74) :- #0.217.
link(74,41) :- #0.524.
link(41,84) :- #0.793.
link(84,41) :- #0.467.
link(41,88) :- #0.122.
link(88,41) :- #0.844.
link(41,107) :- #0.685.
link(107,41) :- #0.358.
link(41,114) :- #0.46.
link(114,41) :- #0.934.
link(42,44) :- #0.459.
link(44,42) :- #0.388.
link(42,50) :- #0.084.
link(50,42) :- #0.841.
link(42,56) :- #0.771.
link(56,42) :- #0.881.
link(42,60) :- #0.791.
link(60,42) :- #0.834.
link(42,65) :- #0.9.
link(65,42) :- #0.167.
link(42,80) :- #0.141.
link(80,42) :- #0.221.
link(42,89) :- #0.648.
link(89,42) :- #0.539.
link(42,92) :- #0.84.
link(92,42) :- #0.22.
link(42,99) :- #0.962.
link(99,42) :- #0.95.
link(42,113) :- #0.316.
link(113,42) :- #0.906.
link(42,115) :- #0.349.
link(115,42) :- #0.159.
link(42,123) :- #0.679.
link(123,42) :- #0.364.
link(42,131) :- #0.479.
link(131,42) :- #0.456.
link(43,58) :- #0.976.
link(58,43) :- #0.226.
link(43,76) :- #0.734.
link(76,43) :- #0.237.
link(43,79) :- #0.586.
link(79,43) :- #0.372.
link(43,101) :- #0.377.
link(101,43) :- #0.661.
link(43,128) :- #0.018.
link(128,43) :- #0.204.
link(43,139) :- #0.891.
link(139,43) :- #0.151.
link(44,55) :- #0.131.
link(55,44) :- #0.899.
link(44,91) :- #0.649.
link(91,44) :- #0.767.
link(44,114) :- #0.623.
link(114,44) :- #0.093.
link(44,119) :- #0.235.
link(119,44) :- #0.677.
link(44,130) :- #0.366.
link(130,44) :- #0.755.
link(44,136) :- #0.592.
link(136,44) :- #0.341.
link(44,138) :- #0.775.
link(138,44) :- #0.517.
link(45,48) :- #0.124.
link(48,45) :- #0.32.
link(45,51) :- #0.784.
link(51,45) :- #0.407.
link(45,57) :- #0.184.
link(57,45) :- #0.122.
link(45,79) :- #0.46.
link(79,45) :- #0.011.
link(45,81) :- #0.168.
link(81,45) :- #0.404.
link(45,97) :- #0.605.
link(97,45) :- #0.333.
link(45,122) :- #0.053.
link(122,45) :- #0.556.
link(45,124) :- #0.691.
link(124,45) :- #0.556.
link(46,67) :- #0.527.
link(67,46) :- #0.891.
link(46,75) :- #0.68.
link(75,46) :- #0.003.
link(46,84) :- #0.284.
link(84,46) :- #0.784.
link(46,86) :- #0.038.
link(86,46) :- #0.754.
link(46,88) :- #0.164.
link(88,46) :- #0.393.
link(46,102) :- #0.979.
link(102,46) :- #0.816.
link(46,122) :- #0.194.
link(122,46) :- #0.452.
link(46,123) :- #0.369.
link(123,46) :- #0.58.
link(46,126) :- #0.399.
link(126,46) :- #0.927.
link(46,135) :- #0.175.
link(135,46) :- #0.65.
link(46,138) :- #0.309.
link(138,46) :- #0.422.
link(46,140) :- #0.882.
link(140,46) :- #0.311.
link(47,62) :- #0.174.
link(62,47) :- #0.518.
link(47,66) :- #0.339.
link(66,47) :- #0.831.
link(47,68) :- #0.002.
link(68,47) :- #0.188.
link(47,70) :- #0.319.
link(70,47) :- #0.074.
link(47,73) :- #0.061.
link(73,47) :- #0.901.
link(47,87) :- #0.117.
link(87,47) :- #0.222.
link(47,91) :- #0.615.
link(91,47) :- #0.543.
link(47,100) :- #0.458.
link(100,47) :- #0.671.
link(47,112) :- #0.445.
link(112,47) :- #0.208.
link(47,123) :- #0.049.
link(123,47) :- #0.826.
link(47,125) :- #0.475.
link(125,47) :- #0.869.
link(47,127) :- #0.595.
link(127,47) :- #0.755.
link(48,49) :- #0.278.
link(49,48) :- #0.703.
link(48,51) :- #0.906.
link(51,48) :- #0.756.
link(48,90) :- #0.878.
link(90,48) :- #0.199.
link(48,91) :- #0.745.
link(91,48) :- #0.193.
link(48,97) :- #0.462.
link(97,48) :- #0.356.
link(48,100) :- #0.976.
link(100,48) :- #0.697.
link(48,102) :- #0.982.
link(102,48) :- #0.093.
link(48,114) :- #0.723.
link(114,48) :- #0.459.
link(49,50) :- #0.228.
link(50,49) :- #0.274.
link(49,67) :- #0.288.
link(67,49) :- #0.997.
link(49,69) :- #0.571.
link(69,49) :- #0.224.
link(49,70) :- #0.091.
link(70,49) :- #0.195.
link(49,83) :- #0.843.
link(83,49) :- #0.79.
link(49,90) :- #0.622.
link(90,49) :- #0.346.
link(49,93) :- #0.813.
link(93,49) :- #0.5.
link(49,98) :- #0.209.
link(98,49) :- #0.669.
link(49,100) :- #0.606.
link(100,49) :- #0.313.
link(49,104) :- #0.01.
link(104,49) :- #0.593.
link(49,111) :- #0.463.
link(111,49) :- #0.496.
link(49,120) :- #0.261.
link(120,49) :- #0.695.
link(49,133) :- #0.359.
link(133,49) :- #0.883.
link(49,134) :- #0.138.
link(134,49) :- #0.647.
link(50,56) :- #0.432.
link(56,50) :- #0.938.
link(50,65) :- #0.181.
link(65,50) :- #0.753.
link(50,84) :- #0.687.
link(84,50) :- #0.739.
link(50,89) :- #0.689.
link(89,50) :- #0.517.
link(50,94) :- #0.309.
link(94,50) :- #0.989.
link(50,99) :- #0.873.
link(99,50) :- #0.45.
link(50,108) :- #0.562.
link(108,50) :- #0.108.
link(50,121) :- #0.208.
link(121,50) :- #0.551.
link(51,54) :- #0.187.
link(54,51) :- #0.147.
link(51,61) :- #0.968.
link(61,51) :- #0.164.
link(51,66) :- #0.439.
link(66,51) :- #0.858.
link(51,70) :- #0.517.
link(70,51) :- #0.587.
link(51,101) :- #0.104.
link(101,51) :- #0.607.
link(51,121) :- #0.638.
link(121,51) :- #0.714.
link(51,125) :- #0.715.
link(125,51) :- #0.611.
link(51,138) :- #0.036.
link(138,51) :- #0.287.
link(51,139) :- #0.529.
link(139,51) :- #0.067.
link(52,61) :- #0.669.
link(61,52) :- #0.157.
link(52,69) :- #0.013.
link(69,52) :- #0.42.
link(52,84) :- #0.655.
link(84,52) :- #0.164.
link(52,91) :- #0.564.
link(91,52) :- #0.07.
link(52,100) :- #0.074.
link(100,52) :- #0.358.
link(52,105) :- #0.986.
link(105,52) :- #0.117.
link(52,108) :- #0.926.
link(108,52) :- #0.897.
link(52,112) :- #0.974.
link(112,52) :- #0.165.
link(52,117) :- #0.004.
link(117,52) :- #0.807.
link(52,130) :- #0.188.
link(130,52) :- #0.018.
link(53,61) :- #0.438.
link(61,53) :- #0.384.
link(53,73) :- #0.712.
link(73,53) :- #0.337.
link(53,88) :- #0.638.
link(88,53) :- #0.285.
link(53,89) :- #0.108.
link(89,53) :- #0.737.
link(54,56) :- #0.204.
link(56,54) :- #0.566.
link(54,71) :- #0.353.
link(71,54) :- #0.404.
link(54,76) :- #0.006.
link(76,54) :- #0.349.
link(54,82) :- #0.617.
link(82,54) :- #0.501.
link(54,114) :- #0.754.
link(114,54) :- #0.523.
link(54,118) :- #0.73.
link(118,54) :- #0.336.
link(54,136) :- #0.428.
link(136,54) :- #0.285.
link(54,138) :- #0.97.
link(138,54) :- #0.482.
link(54,140) :- #0.454.
link(140,54) :- #0.477.
link(55,59) :- #0.111.
link(59,55) :- #0.728.
link(55,60) :- #0.352.
link(60,55) :- #0.149.
link(55,86) :- #0.937.
link(86,55) :- #0.366.
link(55,90) :- #0.201.
link(90,55) :- #0.336.
link(55,109) :- #0.458.
link(109,55) :- #0.995.
link(55,112) :- #0.904.
link(112,55) :- #0.734.
link(55,115) :- #0.843.
link(115,55) :- #0.573.
link(55,124) :- #0.316.
link(124,55) :- #0.162.
link(55,137) :- #0.667.
link(137,55) :- #0.202.
link(56,59) :- #0.384.
link(59,56) :- #0.812.
link(56,60) :- #0.091.
link(60,56) :- #0.302.
link(56,67) :- #0.895.
link(67,56) :- #0.469.
link(56,68) :- #0.189.
link(68,56) :- #0.83.
link(56,77) :- #0.283.
link(77,56) :- #0.823.
link(56,84) :- #0.186.
link(84,56) :- #0.833.
link(56,95) :- #0.334.
link(95,56) :- #0.57.
link(56,119) :- #0.12.
link(119,56) :- #0.182.
link(56,124) :- #0.118.
link(124,56) :- #0.24.
link(56,129) :- #0.437.
link(129,56) :- #0.334.
link(56,138) :- #0.042.
link(138,56) :- #0.302.
link(56,139) :- #0.658.
link(139,56) :- #0.602.
link(57,82) :- #0.553.
link(82,57) :- #0.201.
link(57,89) :- #0.263.
link(89,57) :- #0.757.
link(57,91) :- #0.586.
link(91,57) :- #0.321.
link(57,107) :- #0.809.
link(107,57) :- #0.135.
link(57,122) :- #0.798.
link(122,57) :- #0.659.
link(57,134) :- #0.476.
link(134,57) :- #0.265.
link(58,61) :- #0.631.
link(61,58) :- #0.805.
link(58,68) :- #0.368.
link(68,58) :- #0.779.
link(58,74) :- #0.265.
link(74,58) :- #0.2.
link(58,115) :- #0.007.
link(115,58) :- #0.056.
link(58,116) :- #0.095.
link(116,58) :- #0.882.
link(58,126) :- #0.495.
link(126,58) :- #0.007.
link(58,132) :- #0.79.
link(132,58) :- #0.899.
link(58,135) :- #0.281.
link(135,58) :- #0.342.
link(58,137) :- #0.862.
link(137,58) :- #0.265.
link(59,86) :- #0.639.
link(86,59) :- #0.829.
link(59,109) :- #0.542.
link(109,59) :- #0.061.
link(59,136) :- #0.849.
link(136,59) :- #0.749.
link(60,78) :- #0.247.
link(78,60) :- #0.624.
link(60,82) :- #0.199.
link(82,60) :- #0.244.
link(60,92) :- #0.87.
link(92,60) :- #0.472.
link(60,110) :- #0.963.
link(110,60) :- #0.352.
link(60,116) :- #0.181.
link(116,60) :- #0.979.
link(60,124) :- #0.043.
link(124,60) :- #0.577.
link(61,84) :- #0.97.
link(84,61) :- #0.811.
link(61,95) :- #0.462.
link(95,61) :- #0.122.
link(61,102) :- #0.713.
link(102,61) :- #0.981.
link(61,105) :- #0.95.
link(105,61) :- #0.868.
link(61,109) :- #0.201.
link(109,61) :- #0.23.
link(61,121) :- #0.748.
link(121,61) :- #0.586.
link(62,63) :- #0.026.
link(63,62) :- #0.262.
link(62,74) :- #0.097.
link(74,62) :- #0.15.
link(62,77) :- #0.304.
link(77,62) :- #0.703.
link(62,85) :- #0.632.
link(85,62) :- #0.114.
link(62,97) :- #0.613.
link(97,62) :- #0.206.
link(62,99) :- #0.963.
link(99,62) :- #0.223.
link(62,103) :- #0.564.
link(103,62) :- #0.632.
link(62,104) :- #0.511.
link(104,62) :- #0.35.
link(62,107) :- #0.652.
link(107,62) :- #0.361.
link(62,115) :- #0.378.
link(115,62) :- #0.242.
link(62,119) :- #0.167.
link(119,62) :- #0.387.
link(62,123) :- #0.718.
link(123,62) :- #0.95.
link(62,125) :- #0.903.
link(125,62) :- #0.414.
link(62,127) :- #0.036.
link(127,62) :- #0.269.
link(63,64) :- #0.625.
link(64,63) :- #0.907.
link(63,76) :- #0.827.
link(76,63) :- #0.989.
link(63,88) :- #0.64.
link(88,63) :- #0.135.
link(63,92) :- #0.442.
link(92,63) :- #0.725.
link(63,129) :- #0.152.
link(129,63) :- #0.205.
link(63,134) :- #0.393.
link(134,63) :- #0.09.
link(63,136) :- #0.229.
link(136,63) :- #0.913.
link(64,68) :- #0.158.
link(68,64) :- #0.564.
link(64,73) :- #0.302.
link(73,64) :- #0.663.
link(64,78) :- #0.898.
link(78,64) :- #0.588.
link(64,87) :- #0.971.
link(87,64) :- #0.586.
link(64,92) :- #0.199.
link(92,64) :- #0.842.
link(64,100) :- #0.027.
link(100,64) :- #0.292.
link(64,111) :- #0.637.
link(111,64) :- #0.803.
link(64,123) :- #0.74.
link(123,64) :- #0.027.
link(64,128) :- #0.618.
link(128,64) :- #0.301.
link(65,93) :- #0.529.
link(93,65) :- #0.698.
link(65,107) :- #0.913.
link(107,65) :- #0.813.
link(65,119) :- #0.76.
link(119,65) :- #0.597.
link(65,135) :- #0.632.
link(135,65) :- #0.499.
link(65,137) :- #0.949.
link(137,65) :- #0.375.
link(66,73) :- #0.179.
link(73,66) :- #0.941.
link(66,85) :- #0.591.
link(85,66) :- #0.897.
link(66,89) :- #0.126.
link(89,66) :- #0.037.
link(66,93) :- #0.968.
link(93,66) :- #0.078.
link(66,95) :- #0.693.
link(95,66) :- #0.566.
link(66,105) :- #0.023.
link(105,66) :- #0.469.
link(66,106) :- #0.012.
link(106,66) :- #0.397.
link(66,111) :- #0.869.
link(111,66) :- #0.442.
link(66,113) :- #0.861.
link(113,66) :- #0.721.
link(66,124) :- #0.12.
link(124,66) :- #0.97.
link(66,135) :- #0.714.
link(135,66) :- #0.988.
link(67,83) :- #0.464.
link(83,67) :- #0.749.
link(67,84) :- #0.684.
link(84,67) :- #0.42.
link(67,90) :- #0.083.
link(90,67) :- #0.114.
link(67,92) :- #0.995.
link(92,67) :- #0.027.
link(67,95) :- #0.558.
link(95,67) :- #0.682.
link(67,109) :- #0.606.
link(109,67) :- #0.592.
link(67,138) :- #0.96.
link(138,67) :- #0.158.
link(68,71) :- #0.448.
link(71,68) :- #0.025.
link(68,83) :- #0.31.
link(83,68) :- #0.223.
link(68,86) :- #0.655.
link(86,68) :- #0.99.
link(68,93) :- #0.495.
link(93,68) :- #0.983.
link(68,111) :- #0.255.
link(111,68) :- #0.754.
link(68,112) :- #0.924.
link(112,68) :- #0.362.
link(68,129) :- #0.968.
link(129,68) :- #0.488.
link(69,76) :- #0.542.
link(76,69) :- #0.891.
link(69,85) :- #0.2.
link(85,69) :- #0.737.
link(69,92) :- #0.598.
link(92,69) :- #0.126.
link(69,140) :- #0.65.
link(140,69) :- #0.713.
link(70,93) :- #0.575.
link(93,70) :- #0.103.
link(70,97) :- #0.538.
link(97,70) :- #0.524.
link(70,100) :- #0.549.
link(100,70) :- #0.555.
link(70,104) :- #0.469.
link(104,70) :- #0.054.
link(70,123) :- #0.753.
link(123,70) :- #0.523.
link(70,124) :- #0.022.
link(124,70) :- #0.208.
link(70,129) :- #0.235.
link(129,70) :- #0.635.
link(70,140) :- #0.062.
link(140,70) :- #0.718.
link(71,77) :- #0.929.
link(77,71) :- #0.797.
link(71,79) :- #0.291.
link(79,71) :- #0.928.
link(71,82) :- #0.62.
link(82,71) :- #0.864.
link(71,103) :- #0.163.
link(103,71) :- #0.637.
link(71,113) :- #0.729.
link(113,71) :- #0.832.
link(71,123) :- #0.875.
link(123,71) :- #0.373.
link(71,127) :- #0.399.
link(127,71) :- #0.102.
link(71,136) :- #0.878.
link(136,71) :- #0.717.
link(71,138) :- #0.566.
link(138,71) :- #0.948.
link(72,77) :- #0.248.
link(77,72) :- #0.633.
link(72,90) :- #0.682.
link(90,72) :- #0.571.
link(72,103) :- #0.157.
link(103,72) :- #0.133.
link(72,129) :- #0.012.
link(129,72) :- #0.57.
link(72,136) :- #0.743.
link(136,72) :- #0.088.
link(72,137) :- #0.503.
link(137,72) :- #0.391.
link(73,79) :- #0.457.
link(79,73) :- #0.123.
link(73,86) :- #0.481.
link(86,73) :- #0.895.
link(73,89) :- #0.637.
link(89,73) :- #0.43.
link(73,104) :- #0.888.
link(104,73) :- #0.858.
link(73,110) :- #0.028.
link(110,73) :- #0.986.
link(73,113) :- #0.58.
link(113,73) :- #0.301.
link(73,135) :- #0.394.
link(135,73) :- #0.287.
link(73,136) :- #0.96.
link(136,73) :- #0.708.
link(74,85) :- #0.394.
link(85,74) :- #0.831.
link(74,104) :- #0.804.
link(104,74) :- #0.328.
link(74,108) :- #0.877.
link(108,74) :- #0.417.
link(74,111) :- #0.665.
link(111,74) :- #0.015.
link(74,113) :- #0.357.
link(113,74) :- #0.921.
link(74,128) :- #0.464.
link(128,74) :- #0.987.
link(74,140) :- #0.31.
link(140,74) :- #0.868.
link(75,76) :- #0.305.
link(76,75) :- #0.976.
link(75,80) :- #0.329.
link(80,75) :- #0.353.
link(75,81) :- #0.889.
link(81,75) :- #0.748.
link(75,92) :- #0.934.
link(92,75) :- #0.049.
link(75,124) :- #0.986.
link(124,75) :- #0.793.
link(75,126) :- #0.823.
link(126,75) :- #0.213.
link(76,78) :- #0.957.
link(78,76) :- #0.051.
link(76,108) :- #0.561.
link(108,76) :- #0.167.
link(76,112) :- #0.467.
link(112,76) :- #0.026.
link(76,120) :- #0.76.
link(120,76) :- #0.243.
link(77,93) :- #0.957.
link(93,77) :- #0.371.
link(77,98) :- #0.716.
link(98,77) :- #0.077.
link(77,104) :- #0.665.
link(104,77) :- #0.32.
link(77,111) :- #0.574.
link(111,77) :- #0.574.
link(77,116) :- #0.653.
link(116,77) :- #0.886.
link(77,118) :- #0.632.
link(118,77) :- #0.174.
link(77,126) :- #0.25.
link(126,77) :- #0.141.
link(77,136) :- #0.213.
link(136,77) :- #0.017.
link(77,137) :- #0.143.
link(137,77) :- #0.558.
link(77,138) :- #0.152.
link(138,77) :- #0.622.
link(78,85) :- #0.342.
link(85,78) :- #0.224.
link(78,91) :- #0.832.
link(91,78) :- #0.962.
link(78,103) :- #0.793.
link(103,78) :- #0.039.
link(78,104) :- #0.484.
link(104,78) :- #0.839.
link(78,106) :- #0.316.
link(106,78) :- #0.748.
link(78,108) :- #0.329.
link(108,78) :- #0.994.
link(78,116) :- #0.081.
link(116,78) :- #0.112.
link(78,124) :- #0.861.
link(124,78) :- #0.888.
link(79,89) :- #0.108.
link(89,79) :- #0.891.
link(79,92) :- #0.935.
link(92,79) :- #0.88.
link(79,98) :- #0.665.
link(98,79) :- #0.538.
link(79,105) :- #0.358.
link(105,79) :- #0.13.
link(79,111) :- #0.233.
link(111,79) :- #0.275.
link(79,116) :- #0.722.
link(116,79) :- #0.764.
link(79,117) :- #0.367.
link(117,79) :- #0.067.
link(79,128) :- #0.536.
link(128,79) :- #0.269.
link(79,135) :- #0.918.
link(135,79) :- #0.008.
link(80,85) :- #0.268.
link(85,80) :- #0.991.
link(80,92) :- #0.046.
link(92,80) :- #0.081.
link(80,104) :- #0.098.
link(104,80) :- #0.695.
link(80,107) :- #0.37.
link(107,80) :- #0.481.
link(80,110) :- #0.672.
link(110,80) :- #0.211.
link(81,89) :- #0.538.
link(89,81) :- #0.777.
link(81,92) :- #0.462.
link(92,81) :- #0.859.
link(81,101) :- #0.236.
link(101,81) :- #0.8.
link(81,108) :- #0.809.
link(108,81) :- #0.102.
link(81,111) :- #0.924.
link(111,81) :- #0.07.
link(82,86) :- #0.013.
link(86,82) :- #0.274.
link(82,91) :- #0.708.
link(91,82) :- #0.773.
link(82,92) :- #0.997.
link(92,82) :- #0.29.
link(82,93) :- #0.406.
link(93,82) :- #0.438.
link(82,105) :- #0.788.
link(105,82) :- #0.603.
link(82,114) :- #0.589.
link(114,82) :- #0.632.
link(82,118) :- #0.22.
link(118,82) :- #0.845.
link(82,120) :- #0.978.
link(120,82) :- #0.701.
link(82,130) :- #0.545.
link(130,82) :- #0.228.
link(82,139) :- #0.86.
link(139,82) :- #0.308.
link(82,140) :- #0.68.
link(140,82) :- #0.
link(83,89) :- #0.879.
link(89,83) :- #0.377.
link(83,91) :- #0.466.
link(91,83) :- #0.619.
link(83,96) :- #0.936.
link(96,83) :- #0.867.
link(83,104) :- #0.718.
link(104,83) :- #0.613.
link(83,121) :- #0.577.
link(121,83) :- #0.591.
link(84,90) :- #0.256.
link(90,84) :- #0.827.
link(84,102) :- #0.847.
link(102,84) :- #0.914.
link(84,109) :- #0.088.
link(109,84) :- #0.239.
link(84,113) :- #0.622.
link(113,84) :- #0.693.
link(84,117) :- #0.991.
link(117,84) :- #0.412.
link(84,124) :- #0.052.
link(124,84) :- #0.166.
link(84,133) :- #0.158.
link(133,84) :- #0.574.
link(84,135) :- #0.262.
link(135,84) :- #0.663.
link(85,87) :- #0.924.
link(87,85) :- #0.16.
link(85,92) :- #0.438.
link(92,85) :- #0.106.
link(85,95) :- #0.852.
link(95,85) :- #0.492.
link(85,98) :- #0.174.
link(98,85) :- #0.125.
link(85,104) :- #0.342.
link(104,85) :- #0.021.
link(85,112) :- #0.34.
link(112,85) :- #0.614.
link(85,113) :- #0.054.
link(113,85) :- #0.821.
link(85,129) :- #0.962.
link(129,85) :- #0.259.
link(85,131) :- #0.74.
link(131,85) :- #0.809.
link(86,89) :- #0.1.
link(89,86) :- #0.744.
link(86,123) :- #0.763.
link(123,86) :- #0.527.
link(87,94) :- #0.391.
link(94,87) :- #0.221.
link(87,139) :- #0.766.
link(139,87) :- #0.314.
link(88,102) :- #0.743.
link(102,88) :- #0.35.
link(88,104) :- #0.485.
link(104,88) :- #0.983.
link(88,106) :- #0.433.
link(106,88) :- #0.705.
link(88,114) :- #0.899.
link(114,88) :- #0.664.
link(88,115) :- #0.864.
link(115,88) :- #0.111.
link(89,98) :- #0.243.
link(98,89) :- #0.559.
link(89,100) :- #0.309.
link(100,89) :- #0.164.
link(89,134) :- #0.3.
link(134,89) :- #0.97.
link(89,136) :- #0.696.
link(136,89) :- #0.603.
link(89,140) :- #0.094.
link(140,89) :- #0.863.
link(90,92) :- #0.652.
link(92,90) :- #0.8.
link(90,93) :- #0.094.
link(93,90) :- #0.498.
link(90,94) :- #0.647.
link(94,90) :- #0.451.
link(90,98) :- #0.237.
link(98,90) :- #0.565.
link(90,100) :- #0.818.
link(100,90) :- #0.858.
link(90,109) :- #0.173.
link(109,90) :- #0.881.
link(90,115) :- #0.279.
link(115,90) :- #0.3.
link(90,121) :- #0.641.
link(121,90) :- #0.91.
link(90,137) :- #0.158.
link(137,90) :- #0.955.
link(91,104) :- #0.675.
link(104,91) :- #0.193.
link(91,105) :- #0.847.
link(105,91) :- #0.244.
link(91,106) :- #0.601.
link(106,91) :- #0.682.
link(91,109) :- #0.732.
link(109,91) :- #0.113.
link(91,115) :- #0.492.
link(115,91) :- #0.978.
link(91,129) :- #0.005.
link(129,91) :- #0.648.
link(92,94) :- #0.813.
link(94,92) :- #0.603.
link(92,99) :- #0.582.
link(99,92) :- #0.954.
link(92,103) :- #0.516.
link(103,92) :- #0.742.
link(92,105) :- #0.243.
link(105,92) :- #0.762.
link(92,106) :- #0.328.
link(106,92) :- #0.902.
link(93,115) :- #0.146.
link(115,93) :- #0.028.
link(93,133) :- #0.843.
link(133,93) :- #0.748.
link(93,140) :- #0.919.
link(140,93) :- #0.358.
link(94,103) :- #0.255.
link(103,94) :- #0.053.
link(94,105) :- #0.845.
link(105,94) :- #0.548.
link(94,107) :- #0.83.
link(107,94) :- #0.399.
link(94,112) :- #0.523.
link(112,94) :- #0.687.
link(94,115) :- #0.174.
link(115,94) :- #0.482.
link(94,117) :- #0.162.
link(117,94) :- #0.93.
link(94,132) :- #0.71.
link(132,94) :- #0.933.
link(95,127) :- #0.929.
link(127,95) :- #0.414.
link(95,132) :- #0.01.
link(132,95) :- #0.402.
link(96,97) :- #0.768.
link(97,96) :- #0.377.
link(96,105) :- #0.477.
link(105,96) :- #0.618.
link(96,111) :- #0.962.
link(111,96) :- #0.827.
link(96,112) :- #0.544.
link(112,96) :- #0.774.
link(97,102) :- #0.382.
link(102,97) :- #0.447.
link(97,104) :- #0.858.
link(104,97) :- #0.175.
link(97,137) :- #0.546.
link(137,97) :- #0.556.
link(98,111) :- #0.855.
link(111,98) :- #0.819.
link(98,115) :- #0.085.
link(115,98) :- #0.923.
link(98,117) :- #0.519.
link(117,98) :- #0.652.
link(98,126) :- #0.083.
link(126,98) :- #0.213.
link(98,139) :- #0.692.
link(139,98) :- #0.414.
link(99,115) :- #0.749.
link(115,99) :- #0.589.
link(99,122) :- #0.065.
link(122,99) :- #0.598.
link(99,123) :- #0.467.
link(123,99) :- #0.881.
link(99,135) :- #0.215.
link(135,99) :- #0.178.
link(100,101) :- #0.092.
link(101,100) :- #0.472.
link(100,111) :- #0.043.
link(111,100) :- #0.936.
link(100,121) :- #0.327.
link(121,100) :- #0.118.
link(100,133) :- #0.588.
link(133,100) :- #0.059.
link(101,117) :- #0.626.
link(117,101) :- #0.903.
link(101,124) :- #0.861.
link(124,101) :- #0.599.
link(101,138) :- #0.664.
link(138,101) :- #0.219.
link(101,140) :- #0.62.
link(140,101) :- #0.717.
link(102,110) :- #0.422.
link(110,102) :- #0.32.
link(102,117) :- #0.534.
link(117,102) :- #0.655.
link(102,139) :- #0.044.
link(139,102) :- #0.773.
link(102,140) :- #0.026.
link(140,102) :- #0.115.
link(103,111) :- #0.2.
link(111,103) :- #0.08.
link(103,112) :- #0.155.
link(112,103) :- #0.332.
link(103,113) :- #0.908.
link(113,103) :- #0.204.
link(103,116) :- #0.917.
link(116,103) :- #0.254.
link(103,120) :- #0.685.
link(120,103) :- #0.668.
link(104,109) :- #0.301.
link(109,104) :- #0.092.
link(104,111) :- #0.349.
link(111,104) :- #0.829.
link(104,122) :- #0.797.
link(122,104) :- #0.149.
link(104,123) :- #0.607.
link(123,104) :- #0.593.
link(104,128) :- #0.907.
link(128,104) :- #0.654.
link(104,131) :- #0.919.
link(131,104) :- #0.191.
link(104,136) :- #0.688.
link(136,104) :- #0.78.
link(104,140) :- #0.959.
link(140,104) :- #0.966.
link(105,108) :- #0.734.
link(108,105) :- #0.664.
link(105,114) :- #0.66.
link(114,105) :- #0.833.
link(105,117) :- #0.027.
link(117,105) :- #0.92.
link(105,137) :- #0.352.
link(137,105) :- #0.217.
link(106,110) :- #0.226.
link(110,106) :- #0.529.
link(106,114) :- #0.541.
link(114,106) :- #0.437.
link(106,137) :- #0.581.
link(137,106) :- #0.482.
link(107,109) :- #0.377.
link(109,107) :- #0.64.
link(107,118) :- #0.413.
link(118,107) :- #0.767.
link(107,123) :- #0.943.
link(123,107) :- #0.275.
link(107,129) :- #0.997.
link(129,107) :- #0.231.
link(107,131) :- #0.926.
link(131,107) :- #0.533.
link(107,139) :- #0.553.
link(139,107) :- #0.152.
link(107,140) :- #0.64.
link(140,107) :- #0.195.
link(108,110) :- #0.515.
link(110,108) :- #0.527.
link(108,115) :- #0.29.
link(115,108) :- #0.455.
link(108,116) :- #0.332.
link(116,108) :- #0.794.
link(109,111) :- #0.987.
link(111,109) :- #0.966.
link(109,117) :- #0.032.
link(117,109) :- #0.031.
link(109,125) :- #0.706.
link(125,109) :- #0.765.
link(110,122) :- #0.813.
link(122,110) :- #0.283.
link(111,122) :- #0.644.
link(122,111) :- #0.646.
link(111,131) :- #0.965.
link(131,111) :- #0.164.
link(111,135) :- #0.743.
link(135,111) :- #0.968.
link(111,140) :- #0.768.
link(140,111) :- #0.98.
link(112,114) :- #0.252.
link(114,112) :- #0.803.
link(113,138) :- #0.295.
link(138,113) :- #0.473.
link(114,129) :- #0.51.
link(129,114) :- #0.532.
link(115,138) :- #0.686.
link(138,115) :- #0.559.
link(116,128) :- #0.894.
link(128,116) :- #0.815.
link(116,131) :- #0.78.
link(131,116) :- #0.96.
link(116,132) :- #0.27.
link(132,116) :- #0.809.
link(118,136) :- #0.548.
link(136,118) :- #0.932.
link(120,124) :- #0.083.
link(124,120) :- #0.199.
link(120,130) :- #0.555.
link(130,120) :- #0.85.
link(121,131) :- #0.425.
link(131,121) :- #0.39.
link(121,132) :- #0.383.
link(132,121) :- #0.778.
link(122,132) :- #0.242.
link(132,122) :- #0.894.
link(123,127) :- #0.246.
link(127,123) :- #0.248.
link(123,133) :- #0.22.
link(133,123) :- #0.741.
link(123,135) :- #0.757.
link(135,123) :- #0.981.
link(124,126) :- #0.359.
link(126,124) :- #0.702.
link(124,131) :- #0.286.
link(131,124) :- #0.624.
link(126,127) :- #0.764.
link(127,126) :- #0.231.
link(126,129) :- #0.59.
link(129,126) :- #0.421.
link(126,135) :- #0.565.
link(135,126) :- #0.616.
link(127,128) :- #0.348.
link(128,127) :- #0.087.
link(127,130) :- #0.119.
link(130,127) :- #0.746.
link(127,140) :- #0.127.
link(140,127) :- #0.742.
link(128,139) :- #0.858.
link(139,128) :- #0.615.
link(128,140) :- #0.646.
link(140,128) :- #0.969.
link(130,135) :- #0.273.
link(135,130) :- #0.915.
link(130,137) :- #0.449.
link(137,130) :- #0.895.
link(131,136) :- #0.127.
link(136,131) :- #0.611.
link(131,138) :- #0.439.
link(138,131) :- #0.316.
link(132,134) :- #0.811.
link(134,132) :- #0.597.
link(134,139) :- #0.659.
link(139,134) :- #0.493.
link(135,136) :- #0.899.
link(136,135) :- #0.617.
link(135,137) :- #0.197.
link(137,135) :- #0.527.
link(137,139) :- #0.94.
link(139,137) :- #0.709.
link(138,139) :- #0.748.
link(139,138) :- #0.277.
colour(red0).
colour(green0).
colour(blue0).
colour(yellow0).
colour(cyan0).
